#ifndef __tim_H
#define __tim_H
#ifdef __cplusplus
 extern "C" {
#endif

#include "bsp/bsp.h"
#include "os/types.h"

#ifdef CONFIG_CPU_TICK_TIMER
void cpu_ticks_timer_init(void);
static __INLINE u32 cpu_tick_count(void) {
	return CONFIG_CPU_TICK_TIMER->CNT;
}
#endif

#ifdef __cplusplus
}
#endif
#endif /*__ tim_H */

/**
  * @}
  */

/**
  * @}
  */

/************************ (C) COPYRIGHT STMicroelectronics *****END OF FILE****/
